واژه نامه منطق و رایانش
درآمد به منطق و رایانش
بخشی از عبارت را بنویسید: | ||
~~E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۰ | ~~E |
~E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۸ | ~E |
~I: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۹ | ~I |
∧E۱: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۲ | ∧E۱ |
∧E۲: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۴ | ∧E۱ |
∧I: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۳ | ∧I |
∨E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۶ | ∨E |
∨I۱: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۵ | ∨I۱ |
∨I۲: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۷ | ∨I۲ |
≃: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۶ | ≃ |
≡m: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۶ | ≡m |
≡t: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۹ | ≡t |
≤m: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۳ | ≤m |
⊃E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۹ | ⊃E |
⊃i: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۱ | ⊃I |
⊢: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۴ | ⊢ |
⊢: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۷ | ⊢ |
⊩: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۹ | ⊩ |
↑: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۵ | ↓ |
↓: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۳ | ↓ |
⏉: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۳ | ⏉ |
⏊: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۴ | ⏊ |
ALU: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۴ | Arithmetic logic unit |
AND: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۹ | AND Gate |
B.Min: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۶ | B.Min |
c.e: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۱ | c.e. |
cmp.rl: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۵ | cmp.rl |
CNF: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۵ | CNF |
Co-c.e: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۰ | Co-c.e |
CPU: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۲ | Arithmetic logic unit |
degm: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۸ | m-deg) |
degt: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۲ | m-deg) |
DNF: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۸ | DNF |
DTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۳ | DTM |
Ex Falso Quodlibet: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۹ | Ex Falso Quodlibe |
ƒPℓ: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۲ | ƑLp |
I.C.G: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۷ | I.C.G |
K: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۹ | Diagonal halting set |
K⚬: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۴ | Halting set |
L.E.M: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۷ | L.E.M |
NAND: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۲ | NAND Gate |
NOR: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۳ | NOR Gate |
NOT: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۱ | NOT Gate |
NTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۶ | DTM |
nامین عدد اول: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۵ | Primeness function |
OR: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۰ | OR Gate |
p.r: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۲ | p.r |
Pℓ: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۶ | LP |
pr.rl: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۸ | Pr.rl |
RM: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۲ | RM |
T-Complete: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۷ | M-Complete |
T-کاهشپذیر: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۵ | T-reducible |
URM: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۳ | URM |
UTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۱ | Universal Turing machine |
Wff: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۶ | Well-Formed Formula |
wff: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۸ | wff |
Wn: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۲ | Wx |
μ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۷ | Μ |
μ: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۶ | Μue |
μRc: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۶ | μRc |
Π۱: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۱ | Π۱ |
Π۲: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۳ | Π۲ |
Σ۱: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۸ | Σ۱ |
Σ۲: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۲ | Σ2 |
اتم: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۹ | Atom |
اتم: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۸ | Atom |
اثبات شدنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۵ | Provable |
اثبات نشدنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۶ | Unprovable |
استقرای ساختاری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۸ | Structural induction |
استقرای طولی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۱ | Induction over length of formula |
استقرای طولی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۹ | Induction over length of formula |
استلزام توتولوژیک: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۵ | Tautological Implication |
استلزام منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۸ | Logical implication |
استنتاج سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۳ | Semantics Inference |
استنتاج صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۸ | Formal Deduction |
استنتاج طبیعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۶ | Natural Deduction |
استنتاج عضوی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۶ | Membership deduction |
استنتاج معتبر سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۲ | Semantically valid inference |
استنتاج معتبر نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۵ | Syntactically Valid Inference |
استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۶ | Deduction |
استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۱ | Deduction |
استوار: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۴ | Sound |
استواری و تمامیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۲ | Soundness and Completness |
استواری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۰ | Soundness |
اشتقاق نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۴ | Syntactic derivation |
اصل انفجار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۷ | Principle of explosion |
اصل سرریز: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۸ | Principle of explosion |
الگوریتم اقلیدس: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۶ | Euclid's algorithm |
الگوریتمِ تصمیم پذیری فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۸ | Well-formed formula decision algorithm |
الگوریتم غیر-قطعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۱ | Nondeterministic algorithm |
الگوریتم کارساز: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۰ | Efficient algorithm |
الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۵ | Algorithm |
انباره: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۰ | Register |
انتخاب: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۶ | Selection |
اندیس: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۰ | Index |
انفجار استنتاجی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۶ | Deductive explosion |
اوراکل: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۱ | Oracle |
ایستانه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۵ | State |
اینهمانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۷ | Identity |
بازگشتی جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۲ | Partial recursive |
بایت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۳ | Byte |
بدنه: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۵ | Body |
برچسب: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۴ | Label |
برخی ویژگیهای تابع آکرمان: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۲ | Ackermann function properties |
برگردانی به صورت نرمال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۰ | Conversion to normal form |
برنامه تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۹ | Turing program |
برنامه جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۹ | Universal program |
برنامه ذخیره شده: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۹ | Stored-program |
برنامه نویسی ماشینهای اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۹ | Programming of register machines |
برهان خلف: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۱ | Indirect proof of validity |
برهان صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۵ | Formal proof |
برهان نحوی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۶ | Syntactical proof |
برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۹ | Proof |
برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۹ | Proof |
برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۷ | Proof |
بطور الگوریتمیک قابل محاسبه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۶ | Algorithmically computable |
بطور کارآمد قابل محاسبه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۷ | Algorithmically computable |
بگونه بازگشتی نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۹ | By Primitive recursion |
به گونه استنتاجی بسته: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۸ | Deductively closed |
بهطور معنایی سازگار: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۷ | logically_consistent99s1 |
بیت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۲ | Bit |
پارامترهای بازگشتی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۰ | Recursive parameters |
پایان پذیری الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۲ | Termination of the algorithm |
پایگان (سلسله مراتب) پرشی مجموعهها: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۷ | Jump hierarchy of sets |
پایگان (سلسله مراتب) درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۶ | Jump hierarchy of Turing-degrees |
پایگان (سلسله مراتب) درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۸ | Jump hierarchy of T-degrees |
پایگان درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۲۰ | Mapping degrees and Turing degrees |
پخش پذیری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۰ | Distributive law |
پذیرنده: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۴ | Acceptor |
پرش nام تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۵ | The nth Turing jump |
پرش تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۳ | Turing jump |
پیچیدگی زمانی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۹ | Time complexity |
پیکربندی ماشین اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۰ | Register machine configuration |
تابع μ-بازگشتی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۵ | Μ-recursive functions |
تابع افکنش: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۳ | Projection function |
تابع آکرمان یک تابع نخستینی-بازگشت نیست.: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۳ | Ackermann function not pr |
تابع آکرمان: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۱ | Ackermann function) |
تابع اول بودن: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۴ | Primeness function |
تابع بازگشتی جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۳ | Partial recursive function |
تابع بازگشتی کامل: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۸ | Total Recursive functions |
تابع بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۷ | Recursive functions |
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۱ | Primitive recursive function |
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۱ | Primitive recursive function |
تابع پیشین: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۰ | Predecessor function |
تابع تالی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۲ | Successor function |
تابع تعداد مقسوم علیهها: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۳ | Divisor counting function |
تابع تفریق کوتاه شده: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۱ | Truncated subtraction function |
تابع توان: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۴ | Power function |
تابع ثابت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۱ | Constant function |
تابع جانشینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۶ | Substitution function |
تابع جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۸ | Universal function |
تابع رایانشپذیر جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۴ | Partial computable function |
تابع رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۹ | Computable function |
تابع رایانشپذیر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۵ | Computable function |
تابع رایانشناپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۰ | Uncomputable Function |
تابع صفر: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۱ | Zero function |
تابع علامت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۳ | Sign function |
تابع فاکتوریل: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۵ | Factorial function |
تابع قدر مطلق: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۲ | Absolute value function |
تابع قطری: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۵ | Diagonal function |
تابع کاهش: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۹ | Decrease function |
تابع گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۶ | Transition function |
تابع گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۰ | Turing function |
تبدیل: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۵ | Transmutation |
تحت '⊢' بسته: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۷ | Closed under ⊢ |
ترانزیستور: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۰ | Transistor |
ترانهش: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۲ | Transposition |
ترایایی استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۵ | Transitivity of deduction |
تز چرج-تورینگ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۶ | Church–Turing thesis |
تز چرچ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۷ | Church’s Thesis |
تصمیم پذیری فرمول خوش-ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۷ | Decidability of well-formed formula |
تصمیم ناپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۵ | Undecidable |
تصمیمپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۱ | Decidable |
تصمیمپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۰ | Decidable |
تصمیمپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۲ | Decidability |
تصمیمپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۹ | Decidability |
تعبیر و فرامنطق در NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۵ | Interpretation and Metalogic in NdPℓ |
تعبیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۵ | Interpretation |
تعبیر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۷ | Interpretation |
تعریف بازگشتی صورت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۴ | Recursive definition of form |
تعریف و استدلال مبتنی بر مورد: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۲ | Case-based definition and reasoning |
تعمیم معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۶ | Conditional introduction generalization |
تفکیک شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۸ | Conditional resolution |
تمام: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۶ | Complete |
تمامیت کارکردی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۲ | Functionally Completeness |
تمامیت گویاگر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۱ | Expressive Completeness |
تمامیت و استواری: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۸ | Completeness and soundness |
تمامیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۱ | Completeness |
تمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۷ | Completeness |
تناقض: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۷ | Contradiction |
تناقض: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۳ | Contradiction |
توابع بیشینه و کمینه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۶ | Maximum and minimum function |
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۸ | Primitive recursive a priori functions |
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۰ | Primitive recursive a priori functions |
توابع رایانش پذیر جزئی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۲ | Partial computable Functions |
توالی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۸ | Sequence |
توالی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۷ | Sequence |
توان nامین فاکتور اول در تجزیه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۶ | Power of Nth prime factor |
توان گویایی: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۰ | Expressive power |
توتولوژی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۷ | Tautology |
توقف بد: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۶ | Bad halting |
توقف خوب: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۷ | Good halting |
تئوری صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۹ | Formal theory |
تئوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۰ | Theory |
ثابتهای منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۹ | Logical Constants |
جبر بول: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۲ | Boolean algebra |
جبر تصمیمپذیری: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۲۱ | Algebra of computability |
جدول گذار ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۷ | Turing machine Transition table |
جستجوی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۳ | Bounded Search |
جمع کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۷ | Bounded sum |
چرخه آزاد: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۳ | Free loop |
چرخه تکرار در الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۰ | Iteration in algorithm |
چرخه کراندار: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۱ | Bounded loop |
چرخه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۰ | Function iteration |
چرخه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۱ | Cycle |
حاصل جمع ضرب کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۹ | Bounded total of multiplication |
حافظه خطی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۰ | Linear memory |
حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۴ | Memory |
حافظه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۰ | Memory |
حالت آغازی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۶ | Initial state |
حالت پایانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۷ | Terminal state |
حالت و قاعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۳ | State and transition rule |
حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۴ | State |
حالتها: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۵ | State |
حالتی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۲ | State |
حدس کولاتز: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۱ | Collatz conjecture |
حدس گلدباخ: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۳ | Goldbach Conjecture |
حذف شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۰ | Conditional Elimination |
حذف عطفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۱ | Conjunction Elimination |
حذف فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۲ | Disjunction Elimination |
حذف نقض دوگانه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۴ | Double Negation Elimination |
حذف نقیض: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۳ | Negation Elimination |
حساب لامبدا: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۲ | Lambda calculus |
حلقه for: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۲ | Bounded loop |
حلقه while: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۴ | Free loop |
خاصیت اینهمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۱ | Idntity Property |
خوارزمی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۲ | Al-Khwarizmi |
خوانش یکتای فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۷ | Unique reading of formula |
درجه تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۰ | Degree (many-one) |
درجه چند-یک: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۷ | Many-one Degree |
درجه حلناشدنی: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۱ | turng_degree9s1 |
درجه فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۴ | Degree of formula |
درجه نگاشتی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۹ | Mapping Degree |
درخت پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۹ | Formation tree |
درخت پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۲ | Formation tree |
درخت فراکافت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۰ | Parse tree |
دروازه منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۸ | Logical gate |
دست آوردنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۰ | Drivable |
دست-آوردنی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۴ | Drivable |
دستگاه استنتاج طبیعی NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۲ | NdPℓ natural deduction system |
دستگاه استنتاجی سازگار: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۴ | Consistent deductive system |
دستگاه استنتاجی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۷ | Deductive System |
دستگاه استنتاجی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۳ | Deductive system |
دستگاه اصل موضوعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۷ | Axiomatic system |
دستگاه توابع بازگشتی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۴ | Theory of recursion functions |
دستگاه توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۹ | System of Primitive Recursive Functions |
دستگاه حساب لامبدا: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۶ | Lambda calculus |
دستگاه صوری سازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۵ | Consistent formal system |
دستگاه صوری ناسازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۴ | Inconsistent formal system |
دستگاه صوری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۳ | Formal System |
دستگاه صوری: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۶ | Formal System |
دستگاه نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۵ | Syntactic System |
دستگاههای نا-پیوستی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۲ | Non-Adjunctive Systems |
دنباله پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۶ | Formation sequence |
دنباله ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۸ | Turing machines sequence |
دنبالههای کد گذاری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۷ | Coding sequences |
دیوید هیلبرت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۳ | David Hilbert |
رابط اصلی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۵ | Main connective |
رابط جمله گانی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۰ | Sentential Connective |
رابط: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۹ | Connective |
رابطه بازگشتی برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۸ | Recursively Enumerable sets |
رابطه بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۸ | Recursive relation |
رابطه بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۷ | Primitive recursive relations |
رابطه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۸ | Primitive recursive decidable relations |
رابطه تصمیمپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۹ | Decidable relations |
رابطه رایانشپذیر برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۷ | Computably Enumerable Relations |
رابطه رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۲۰ | Computable relations |
رابطه معیار در چرخه تکرار: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۵ | Criterion relation in while loop |
رابطهای ابتدایی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۰ | Primitive connective |
رابطهای منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۸ | Logical connectives |
رایانش: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۰ | Computing |
رایانش: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۳ | Computing |
رایانشپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۱ | Computable |
رایانشپذیر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۴ | Computable |
رایانشپذیری جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۱ | Partial computability |
رایانشپذیری نسبی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۱ | Relative computability |
رایانشپذیری و توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۹ | Computability and primitive recursive functions |
رایانشپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۹ | Computability |
رتبه فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۲ | Rank of formula |
رجیستر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۱ | Register |
روش قطری در اثبات وجود تابع کامل رایانشناپذیر: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۶ | Diagonalization method in computation |
روش قطری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۶۰ | Diagonalization method |
روش کاهش: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۰ | Reduction method |
روش نموداری نمایش ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۳ | Diagrammatic method of Turing machine representation |
روند آزمون گمانه کولاتز: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۲ | Collatz's conjecture test procedure |
روند کارآمد: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۴ | Efficient procedure |
روند مکانیکی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۴ | Mechanical procedure |
روند: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۳ | Process |
زبان شاهد: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۰ | Observer's language |
زبان صوری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۱ | Formal Language |
زبان صوری: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۱ | Formal Language |
زبان صوری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۵ | Forma language |
زبان موضوع: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۳ | Object language |
زبان ناظر: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۱ | Observer's language |
زبانهای تابعی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۵ | Functional programming |
زیرفرمول بیواسطه: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۶ | Immediate subformula |
زیرفرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۵ | Subformula |
ساختار ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۸ | Turing machine structure |
ساختکار حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۶ | Memory mechanism |
ساده گردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۵ | Simplification |
ساده گردانی عبارات بولی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۴ | Booleans expression simplification |
سازگار بیشینه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۳ | Maximally consistent |
سازگاری بیشینه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۴ | Maximal consistency |
سازگاری دستگاه NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۶ | Consistency of end system |
سختافزار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۸ | Hardware |
سختی نسبی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۶ | Relative difficulty |
سطح الویت رابط: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۶ | Connective priority level |
سلسله مراتب (پایگان) حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۷ | Arithmetical Hierarchy |
سور عمومی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۱ | Bounded quantification |
سور کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۰ | Bounded quantification |
سور کراندار: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۱ | Bounded quantifier closure |
سور وجودی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۲ | Bounded quantification |
شمارایی مجموعه فرمولها: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۲ | Denumerability of formulas |
شمارش مقسوم علیه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۹ | Counting divisor |
شمارگذاری گودل: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۸ | Gödel Numbering |
شمارگذاری گودل: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۶ | Godel numbering in RG |
شماره گذاری گودل: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۳ | Godel Numbering |
شناسایی درخت فراکافت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۱ | Identifying the parse tree |
شناسنده: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۳ | Recognizer |
صحت الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۳ | Correctness of algorithm |
صدق پذیر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۵ | Satisfiable |
صدق منطقی: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۹ | Logical Truth |
صورت توتولوژیک: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۸ | Tautological form |
صورت عطفی سره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۶ | Pure conjunctive form |
صورت فصلی سره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۳ | Pure conjunctive form |
صورت متناقض: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۴ | Contradiction |
صورت معتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۹ | Valid form |
صورت نامعتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۲ | Invalid form |
صورت نرمال عطفی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۴ | Conjunctive Normal Form |
صورت نرمال فصلی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۷ | Conjunctive Normal Form |
صورتهای نرمال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۱ | Normal forms |
ضرب کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۸ | Bounded products |
طول فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۰ | Formula length |
عبارت بولی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۱ | Boolean expression |
عملگر جستجو: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۴ | Search operator |
عملگر کمینهساز بیکران - μ: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۵ | Unbounded minimization operator |
عملگر کمینهساز: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۸ | Minimalization operator |
فرازبان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۸ | Metalanguage |
فرازبان: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۲ | Meta-language |
فراقضیه استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۸ | Deduction theorem |
فراقضیه استواری: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۳ | Soundness Meta-theorem |
فراقضیه تمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۵ | Completeness Meta-theorem |
فراقضیه: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۲ | Metatheorem |
فرا-متغیر: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۴ | Metavariable |
فرامنطق: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۹ | Metalogic |
فرامنطق: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۱ | MetaLogic |
فرمول اتمی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۰ | Atomic Formula |
فرمول خوش-ساخت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۲ | Well-Formed Formula |
فرمول خوش-ساخت: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۷ | Well-Formed Formula |
فرمول خوش-ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۷ | Well-Formed Formula |
فرمول شماتیک: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۹ | Schematic formula |
فرمول غیر اتمی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۱ | Non-atomic formula |
فیزیک گذرگاههای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۱ | Logic gates Physics |
فیزیک مدار منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۸ | Physics of logic circuit |
قاعده استنتاج نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۸ | Syntactic inference rule |
قاعده استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۹ | Inference rule |
قاعده استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۴ | Inference rule |
قاعده بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۷ | Primitive recursive rule |
قاعده برهان شرطی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۳ | Rule of Conditional Proof |
قاعده ترکیب: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۴ | Composition rule |
قاعده جایگزینی نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۳ | Rule of syntacticall replacement |
قاعده دست-آوردنی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۰ | Derivable rule |
قاعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۶ | Transition rule |
قضیه s-m-n: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۱ | S-m-n theorem |
قضیه اول ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۲ | First Incompleteness theorem |
قضیه اینهمانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۲ | Identity theorem |
قضیه بازگشت: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۶ | Recursion Theorem |
قضیه برشمارش: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۱ | Enumeration theorem |
قضیه برگردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۰ | Importation theorem |
قضیه پارامتر: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۳ | Parameter theorem |
قضیه پارامتر: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۲ | Parameter theorem |
قضیه دمورگان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۳ | Demorgan theorems |
قضیه دوگانگی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۶ | Dichotomy theorem |
قضیه دوم ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۳ | Second Incompleteness theorem |
قضیه رایس: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۵ | Rice's theorem |
قضیه رایس: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۴ | Rice's theorem |
قضیه صورت نرمال: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۸ | Normal Form Theorem |
قضیه فشردگی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۲ | Compactness Theorem |
قضیه کلین-پست: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۹ | Kleene-Post Theorem |
قضیه متمم: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۳ | Complementation Theorem |
قضیه ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۱ | Incompleteness theorem |
قضیه و استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۹ | Theorem and deduction |
قضیه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۰ | Theorem |
قضیه: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۴ | Theorem |
قضیه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۹ | Theorem |
قطعی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۱ | Deterministic |
قطعیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۰ | Deterministic algorithm |
قطعیت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۴ | Determinism |
قواعد استنتاج آغازین: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۷ | Primitive inference rules |
قواعد استنتاج: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۸ | Rules of Inference |
قواعد اشتقاق نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۸ | Syntactic derivation rules |
قواعد حذفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۸ | Elimination Rules |
قواعد ساخت: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۳ | Formation rules |
قواعد ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۲ | Construction rules |
قواعد گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۱ | Transition rule |
قواعد معرفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۹ | Introduction Rules |
قواعد نحوی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۱ | Syntax rules |
قواعد نگارش صورت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۳ | Syntax of formal language |
قواعد نگارش: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۵ | Syntax rules |
قواعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۸ | Transition rule |
قیاس اقترانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۴ | Modus tollens |
قیاس شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۴ | Hypothetical Syllogism |
قیاس فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۹ | Disjunctive syllogism |
کار روش کاهش: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۱ | Applying the reduction method |
کارآمدی استنتاج سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۷ | Effectiveness of semantical inference |
کارآمدی چندجملهای: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۸ | Polynomial Efficiency |
کارکرد حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۵ | Memory function |
کامپیوترهای فون نویمانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۸ | Von Neumann computers |
کامل تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۶ | Many-one complete |
کاهش پذیر تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۴ | Turing reducible |
کاهشپذیری نگاشتی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۴ | Mapping Reducibility |
کاهشپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۲ | Reducibility |
کلاس الگوریتمها: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۵ | Class of algorithms |
کلاس توابع p.r: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۳ | Class of p.r functions |
کلاس حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۴ | Arithmetical class |
کلاهک خواندن / نوشتن: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۳ | Read / write head |
کمینه ساز کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۵ | Bounded Minimalization |
کمینه سازی بیکران: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۴ | Unbounded Minimalization |
کنترل حافظه یک بیتی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۷ | One-bit memory control |
گذرگاههای منطق: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۴ | Logic gates9s0 |
گذرگاههای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۶ | Logic gates |
لیترال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۲ | Literal |
ماشین انتزاعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۸ | Abstract machine |
ماشین اندوختگانی جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۷ | Universal register machine |
ماشین بیپایان: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۳۰ | Infinite Machine |
ماشین پایان دار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۹ | Finite Machine |
ماشین تورینگ اوراکل: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۳ | Oracle turing machine |
ماشین تورینگ جهانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۰ | Universal Turing machine |
ماشین تورینگ غیر-قطعی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۵ | Nondeterministic Turing machine |
ماشین تورینگ قطعی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۲ | Deterministic Turing machine |
ماشین تورینگ و حل مسئله: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۴ | Turing machine and problem solving |
ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۷ | Turing machine |
ماشین جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۲۰ | Universal Machine |
ماشین گذار حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۹ | State transition machine |
ماشینهای اندوختگانی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۳ | Register machine |
ماشینهای اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۷ | Register Machine |
ماشینهای تورینگ: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۵ | Turing machines |
ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۷ | Turing Machines |
ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۶ | Turing Machines |
متغیر نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۵ | Syntactical Variable |
متغیرهای فرازبانی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۳ | Syntactical variables |
مجموعه بازگشتی برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۰ | Recursively Enumerable sets |
مجموعه بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۲ | Recursive sets |
مجموعه بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۵ | Primitive recursive sets |
مجموعه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۶ | Primitive recursive decidable sets |
مجموعه تصمیمپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۳ | Decidable sets |
مجموعه تصمیمناپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۵ | Undecidable set |
مجموعه توقف قطری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۰ | Diagonal halting set |
مجموعه توقف: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۵ | Halting set |
مجموعه حالتها: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۴ | Set of states |
مجموعه حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۵ | Arithmetical set |
مجموعه رایانشپذیر برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۹ | Computably Enumerable sets |
مجموعه رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۴ | Computable sets |
مجموعه سازگار فرمول: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۲ | Consistent set of formulas |
مجموعه کامل (چند-یک): تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۲ | Many-one complete |
مجموعه ناسازگار فرمول: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۳ | Inconsistent set of formulas |
مجموعه نمایه بدیهی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۴ | Trivial index set |
مجموعه نمایه متمم: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۹ | Complement index set |
مجموعه نمایه نابدیهی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۳ | Non-trivial index set |
مجموعه نمایه: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۲ | Index sets |
محاسبه پذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۸ | Algorithmically computable |
محاسبهپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۲ | Computable |
محاسبهپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۸ | Computability |
محمول T کلین: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۹ | Kleene's T predicate |
مدار منطقی اکثریت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۶ | Logic circuit of majority |
مدار منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۵ | Logic circuits |
مدارهای ترتیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۹ | Sequential Circuit |
مدارهای ترتیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۸ | Sequential Circuit |
مدارهای منطقی ترکیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۷ | Combinational logic circuit |
مدارهای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۷ | Logic circuits |
مدل رایانش: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۷ | Model of computation |
مدل مجموعه تهی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۶ | Empty set model |
مدل مجموعه فرمول: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۴ | Formulas set model |
مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۶ | Model |
مدل: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۳ | Model |
مدل: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۵ | Model of wff set |
مسئله تصمیم گیری: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۶ | Decision problem |
مسئله تصمیم ناپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۸ | Undecidability Problem |
مسئله تصمیمپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۷ | Decidable Problem |
مسئله تصمیمپذیری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۵ | Entscheidungsproblem |
مسئله توقف: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۶ | Halting Problem |
مسئله توقف: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۷ | Halting problem |
مسئله توقف: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۵ | Halting problem |
مسئله دهم هیلبرت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۴ | Hilbert's tenth Problem |
مسئلههای NP: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۵ | NP problems |
مطلقاً سازگار: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۵ | Absolutely consistent |
معادلات بازگشتی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۴ | معادلات بازگشتی |
معتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۰ | Valid |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۵ | Conditional Introduction |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۱ | Conditional Introduction |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۰ | Conditional Introduction |
معرفی عطفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۶ | Conjunction Introduction9s1 |
معرفی فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۷ | Disjunction Introduction |
معرفی نقیض: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۸ | Negation Introduction |
معناشناختی مبتنی بر مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۳ | Model-theoretic semantics |
معناشناختی مبتنی بر نظریه برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۶ | Proof-theoretic semantics |
مقابله: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۸ | Collation |
مقدار سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۲ | Semantic Value |
مقدار معنایی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۱ | Semantic Value |
مقدار نقطه برجا: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۷ | Fixed-point value |
مقدمات: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۶ | Premises |
مقدمات: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۰ | Premises |
مقدمان استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۸ | Premises of deduction |
مقدمه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۹ | Premise |
منطق گفتمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۱ | Discussive Logic |
منطق نا یکنوا: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۴ | Non-monotonic logic |
منطق یکنوا: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۳ | Monotonic logic |
منطقاً سازگار: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۶ | Satisfiable |
منطقاً مستلزم: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۰ | Logically implies |
منطقهای فراسازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۰ | Paraconsistent logics |
مورد پرسش: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۷ | Problem Instance |
ناسازگاری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۱ | Inconsistency |
نامعتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۱ | Invalid |
نتیجه استنتاجی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۱ | Deductive Consequence |
نتیجه برهانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۲ | Proof-theoretic Consequence |
نتیجه صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۲ | Formal conclusion |
نتیجه مستقیم: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۵ | Direct conclusion |
نتیجه منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۱ | Logical consequence |
نتیجه مهم سازگاری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۶ | Important consequence of consistency |
نتیجه نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۳ | Syntactic Consequence |
نتیجه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۳ | conclusion |
نتیجه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۱ | Conclusion |
نحو زبان صوری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۴ | Syntax of formal language |
نحو زبان: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۴ | Syntax of language |
نرمافزار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۹ | Software |
نظریه بر مبنای برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۴ | Proof Theoretic Approach |
نظریه بر مبنای مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۴ | Model Theoretic Approach |
نظریه برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۵ | Proof Theory |
نظریه برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۵ | Proof theory |
نظریه برهان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۱ | Proof theory |
نظریه توابع بازگشتی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۱ | Theory of recursive functions |
نظریه مبتنی بر مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۲ | Model-Theoretic |
نظریه مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۳ | Model theory |
نظریه مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۱ | Model Theory |
نظریه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۱ | Theory |
نظریههای بنیادی معنا: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۶ | Foundational theories of meaning |
نظریههای سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۵ | Semantic theories |
نظریههای گسترشی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۳ | Extensional theories |
نظریههای معنا: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۴ | Theories of Meaning |
نظریههای ناگسترشی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۴ | Non-extensional theories |
نفی اختیاری: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۶ | Alternative Denial |
نفی الزامی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۴ | Joint denial |
نفی دوگانه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۱ | Duble negation |
نگاره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۳ | Concept |
نگاشت پرش تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۴ | Turing jump mapping |
نمادهای ویژه: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۱ | Special symbols |
نمایش شماتیک ماشینهای اندوختگاهی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۸ | Graphical registers machines representation |
نمایهسازی توابع رایانشپذیر جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۷ | Indexation of partial computable functions |
نمودار حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۸ | States diagram |
نوار حافظه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۱ | Memory tape |
نوار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۲ | Memory tape |
نیمه رساناها: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۹ | Semiconductors |
نیمی-تصمیمپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۲ | Semi-Decidable |
نیمی-تصمیمپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۴ | Partially decidable |
همارزیهای بولی پرکاربرد: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۳ | Commonly used boolean equivalences |
همارز تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۸ | Turing equivalent |
همارز چند-یک: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۵ | Many-one equivalent |
همارز منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۴ | Logical equivalence |
همارزی منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۶ | Logical Equivalence |
همارزی نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۲ | Syntactical Equivalence |
همارزی↝ دو ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۷ | Decidability two Turing Machines |
همزادی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۹ | Duality |
واحد کنترل: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۲ | Control unit |
واحد مرکزی پردازش: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۱ | Central processing unit |
واحد منطق حسابی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۳ | Arithmetic logic unit |
واژگان ابتدایی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۲ | Primitive vocabulary |
واژگان ابتدایی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۷ | Primitive vocabulary |
واژگان منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۱ | Logical Vocabulary |
واژگان نامنطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۲ | Non-Logical Vocabulary |
واگردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۳ | Exportation theorem |
ورودی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۹ | Input |
ویژگی اینهمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۰ | Identity property |
ویژگیهای الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۹ | Properties_of_algorithm |
یادآوری نه قاعده استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۷ | Reminder of 9 rules |
یادگیری دنبالهای: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۹ | Sequence learning |
یکنوایی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۲ | Monotonicity |
𝒪(B): ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۲ | Oracle |
~~E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۰ | ~~E |
~E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۸ | ~E |
~I: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۹ | ~I |
∧E۲: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۴ | ∧E۱ |
∧E۱: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۲ | ∧E۱ |
∧I: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۳ | ∧I |
∨E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۶ | ∨E |
∨I۱: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۵ | ∨I۱ |
∨I۲: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۷ | ∨I۲ |
≃: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۶ | ≃ |
≡m: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۶ | ≡m |
≡t: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۹ | ≡t |
≤m: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۳ | ≤m |
⊃E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۹ | ⊃E |
⊃i: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۱ | ⊃I |
⊢: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۴ | ⊢ |
⊢: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۷ | ⊢ |
⊩: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۹ | ⊩ |
↓: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۳ | ↓ |
↑: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۵ | ↓ |
⏉: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۳ | ⏉ |
⏊: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۴ | ⏊ |
تابع قدر مطلق: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۲ | Absolute value function |
مطلقاً سازگار: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۵ | Absolutely consistent |
ماشین انتزاعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۸ | Abstract machine |
پذیرنده: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۴ | Acceptor |
تابع آکرمان یک تابع نخستینی-بازگشت نیست.: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۳ | Ackermann function not pr |
برخی ویژگیهای تابع آکرمان: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۲ | Ackermann function properties |
تابع آکرمان: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۱ | Ackermann function) |
جبر تصمیمپذیری: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۲۱ | Algebra of computability |
الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۵ | Algorithm |
بطور الگوریتمیک قابل محاسبه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۶ | Algorithmically computable |
بطور کارآمد قابل محاسبه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۷ | Algorithmically computable |
محاسبه پذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۸ | Algorithmically computable |
خوارزمی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۲ | Al-Khwarizmi |
نفی اختیاری: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۶ | Alternative Denial |
AND: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۹ | AND Gate |
کار روش کاهش: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۱ | Applying the reduction method |
ALU: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۴ | Arithmetic logic unit |
واحد منطق حسابی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۳ | Arithmetic logic unit |
CPU: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۲ | Arithmetic logic unit |
کلاس حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۴ | Arithmetical class |
سلسله مراتب (پایگان) حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۷ | Arithmetical Hierarchy |
مجموعه حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۵ | Arithmetical set |
اتم: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۸ | Atom |
اتم: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۹ | Atom |
فرمول اتمی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۰ | Atomic Formula |
دستگاه اصل موضوعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۷ | Axiomatic system |
B.Min: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۶ | B.Min |
توقف بد: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۶ | Bad halting |
بیت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۲ | Bit |
بدنه: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۵ | Body |
جبر بول: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۲ | Boolean algebra |
عبارت بولی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۱ | Boolean expression |
ساده گردانی عبارات بولی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۴ | Booleans expression simplification |
حلقه for: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۲ | Bounded loop |
چرخه کراندار: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۱ | Bounded loop |
کمینه ساز کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۵ | Bounded Minimalization |
ضرب کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۸ | Bounded products |
سور عمومی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۱ | Bounded quantification |
سور کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۰ | Bounded quantification |
سور وجودی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۲ | Bounded quantification |
سور کراندار: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۱ | Bounded quantifier closure |
جستجوی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۳ | Bounded Search |
جمع کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۷ | Bounded sum |
حاصل جمع ضرب کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۹ | Bounded total of multiplication |
بگونه بازگشتی نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۹ | By Primitive recursion |
بایت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۳ | Byte |
c.e: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۱ | c.e. |
تعریف و استدلال مبتنی بر مورد: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۲ | Case-based definition and reasoning |
واحد مرکزی پردازش: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۱ | Central processing unit |
تز چرچ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۷ | Church’s Thesis |
تز چرج-تورینگ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۶ | Church–Turing thesis |
کلاس الگوریتمها: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۵ | Class of algorithms |
کلاس توابع p.r: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۳ | Class of p.r functions |
تحت '⊢' بسته: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۷ | Closed under ⊢ |
cmp.rl: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۵ | cmp.rl |
CNF: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۵ | CNF |
Co-c.e: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۰ | Co-c.e |
دنبالههای کد گذاری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۷ | Coding sequences |
مقابله: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۸ | Collation |
حدس کولاتز: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۱ | Collatz conjecture |
روند آزمون گمانه کولاتز: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۲ | Collatz's conjecture test procedure |
مدارهای منطقی ترکیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۷ | Combinational logic circuit |
همارزیهای بولی پرکاربرد: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۳ | Commonly used boolean equivalences |
قضیه فشردگی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۲ | Compactness Theorem |
مجموعه نمایه متمم: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۹ | Complement index set |
قضیه متمم: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۳ | Complementation Theorem |
تمام: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۶ | Complete |
تمامیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۱ | Completeness |
تمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۷ | Completeness |
تمامیت و استواری: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۸ | Completeness and soundness |
فراقضیه تمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۵ | Completeness Meta-theorem |
قاعده ترکیب: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۴ | Composition rule |
محاسبهپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۸ | Computability |
رایانشپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۹ | Computability |
رایانشپذیری و توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۹ | Computability and primitive recursive functions |
محاسبهپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۲ | Computable |
رایانشپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۱ | Computable |
رایانشپذیر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۴ | Computable |
تابع رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۹ | Computable function |
تابع رایانشپذیر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۵ | Computable function |
رابطه رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۲۰ | Computable relations |
مجموعه رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۴ | Computable sets |
رابطه رایانشپذیر برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۷ | Computably Enumerable Relations |
مجموعه رایانشپذیر برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۹ | Computably Enumerable sets |
رایانش: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۳ | Computing |
رایانش: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۰ | Computing |
نگاره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۳ | Concept |
نتیجه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۳ | conclusion |
نتیجه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۱ | Conclusion |
حذف شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۰ | Conditional Elimination |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۱ | Conditional Introduction |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۵ | Conditional Introduction |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۰ | Conditional Introduction |
تعمیم معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۶ | Conditional introduction generalization |
تفکیک شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۸ | Conditional resolution |
حذف عطفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۱ | Conjunction Elimination |
معرفی عطفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۶ | Conjunction Introduction9s1 |
صورت نرمال فصلی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۷ | Conjunctive Normal Form |
صورت نرمال عطفی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۴ | Conjunctive Normal Form |
رابط: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۹ | Connective |
سطح الویت رابط: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۶ | Connective priority level |
سازگاری دستگاه NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۶ | Consistency of end system |
دستگاه استنتاجی سازگار: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۴ | Consistent deductive system |
دستگاه صوری سازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۵ | Consistent formal system |
مجموعه سازگار فرمول: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۲ | Consistent set of formulas |
تابع ثابت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۱ | Constant function |
قواعد ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۲ | Construction rules |
تناقض: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۳ | Contradiction |
تناقض: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۷ | Contradiction |
صورت متناقض: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۴ | Contradiction |
واحد کنترل: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۲ | Control unit |
برگردانی به صورت نرمال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۰ | Conversion to normal form |
صحت الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۳ | Correctness of algorithm |
شمارش مقسوم علیه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۹ | Counting divisor |
رابطه معیار در چرخه تکرار: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۵ | Criterion relation in while loop |
چرخه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۱ | Cycle |
دیوید هیلبرت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۳ | David Hilbert |
تصمیمپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۲ | Decidability |
تصمیمپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۹ | Decidability |
تصمیم پذیری فرمول خوش-ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۷ | Decidability of well-formed formula |
همارزی↝ دو ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۷ | Decidability two Turing Machines |
تصمیمپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۰ | Decidable |
تصمیمپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۱ | Decidable |
مسئله تصمیمپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۷ | Decidable Problem |
رابطه تصمیمپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۹ | Decidable relations |
مجموعه تصمیمپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۳ | Decidable sets |
مسئله تصمیم گیری: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۶ | Decision problem |
تابع کاهش: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۹ | Decrease function |
استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۶ | Deduction |
استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۱ | Deduction |
فراقضیه استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۸ | Deduction theorem |
نتیجه استنتاجی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۱ | Deductive Consequence |
انفجار استنتاجی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۶ | Deductive explosion |
دستگاه استنتاجی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۳ | Deductive system |
دستگاه استنتاجی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۷ | Deductive System |
به گونه استنتاجی بسته: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۸ | Deductively closed |
درجه تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۰ | Degree (many-one) |
درجه فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۴ | Degree of formula |
قضیه دمورگان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۳ | Demorgan theorems |
شمارایی مجموعه فرمولها: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۲ | Denumerability of formulas |
قاعده دست-آوردنی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۰ | Derivable rule |
قطعیت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۴ | Determinism |
قطعی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۱ | Deterministic |
قطعیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۰ | Deterministic algorithm |
ماشین تورینگ قطعی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۲ | Deterministic Turing machine |
تابع قطری: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۵ | Diagonal function |
K: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۹ | Diagonal halting set |
مجموعه توقف قطری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۰ | Diagonal halting set |
روش قطری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۶۰ | Diagonalization method |
روش قطری در اثبات وجود تابع کامل رایانشناپذیر: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۶ | Diagonalization method in computation |
روش نموداری نمایش ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۳ | Diagrammatic method of Turing machine representation |
قضیه دوگانگی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۶ | Dichotomy theorem |
نتیجه مستقیم: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۵ | Direct conclusion |
منطق گفتمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۱ | Discussive Logic |
حذف فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۲ | Disjunction Elimination |
معرفی فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۷ | Disjunction Introduction |
قیاس فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۹ | Disjunctive syllogism |
پخش پذیری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۰ | Distributive law |
تابع تعداد مقسوم علیهها: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۳ | Divisor counting function |
DNF: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۸ | DNF |
حذف نقض دوگانه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۴ | Double Negation Elimination |
دست آوردنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۰ | Drivable |
دست-آوردنی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۴ | Drivable |
DTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۳ | DTM |
NTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۶ | DTM |
همزادی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۹ | Duality |
نفی دوگانه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۱ | Duble negation |
کارآمدی استنتاج سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۷ | Effectiveness of semantical inference |
الگوریتم کارساز: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۰ | Efficient algorithm |
روند کارآمد: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۴ | Efficient procedure |
قواعد حذفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۸ | Elimination Rules |
مدل مجموعه تهی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۶ | Empty set model |
مسئله تصمیمپذیری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۵ | Entscheidungsproblem |
قضیه برشمارش: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۱ | Enumeration theorem |
الگوریتم اقلیدس: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۶ | Euclid's algorithm |
Ex Falso Quodlibet: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۹ | Ex Falso Quodlibe |
واگردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۳ | Exportation theorem |
تمامیت گویاگر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۱ | Expressive Completeness |
توان گویایی: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۰ | Expressive power |
نظریههای گسترشی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۳ | Extensional theories |
تابع فاکتوریل: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۵ | Factorial function |
ماشین پایان دار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۹ | Finite Machine |
قضیه اول ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۲ | First Incompleteness theorem |
مقدار نقطه برجا: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۷ | Fixed-point value |
ƒPℓ: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۲ | ƑLp |
زبان صوری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۵ | Forma language |
نتیجه صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۲ | Formal conclusion |
استنتاج صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۸ | Formal Deduction |
زبان صوری: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۱ | Formal Language |
زبان صوری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۱ | Formal Language |
برهان صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۵ | Formal proof |
دستگاه صوری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۳ | Formal System |
دستگاه صوری: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۶ | Formal System |
تئوری صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۹ | Formal theory |
قواعد ساخت: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۳ | Formation rules |
دنباله پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۶ | Formation sequence |
درخت پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۹ | Formation tree |
درخت پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۲ | Formation tree |
طول فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۰ | Formula length |
مدل مجموعه فرمول: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۴ | Formulas set model |
نظریههای بنیادی معنا: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۶ | Foundational theories of meaning |
حلقه while: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۴ | Free loop |
چرخه آزاد: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۳ | Free loop |
چرخه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۰ | Function iteration |
زبانهای تابعی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۵ | Functional programming |
تمامیت کارکردی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۲ | Functionally Completeness |
شماره گذاری گودل: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۳ | Godel Numbering |
شمارگذاری گودل: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۸ | Gödel Numbering |
شمارگذاری گودل: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۶ | Godel numbering in RG |
حدس گلدباخ: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۳ | Goldbach Conjecture |
توقف خوب: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۷ | Good halting |
نمایش شماتیک ماشینهای اندوختگاهی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۸ | Graphical registers machines representation |
مسئله توقف: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۶ | Halting Problem |
مسئله توقف: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۵ | Halting problem |
مسئله توقف: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۷ | Halting problem |
K⚬: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۴ | Halting set |
مجموعه توقف: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۵ | Halting set |
سختافزار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۸ | Hardware |
مسئله دهم هیلبرت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۴ | Hilbert's tenth Problem |
قیاس شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۴ | Hypothetical Syllogism |
I.C.G: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۷ | I.C.G |
شناسایی درخت فراکافت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۱ | Identifying the parse tree |
اینهمانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۷ | Identity |
ویژگی اینهمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۰ | Identity property |
قضیه اینهمانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۲ | Identity theorem |
خاصیت اینهمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۱ | Idntity Property |
زیرفرمول بیواسطه: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۶ | Immediate subformula |
نتیجه مهم سازگاری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۶ | Important consequence of consistency |
قضیه برگردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۰ | Importation theorem |
قضیه ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۱ | Incompleteness theorem |
ناسازگاری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۱ | Inconsistency |
دستگاه صوری ناسازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۴ | Inconsistent formal system |
مجموعه ناسازگار فرمول: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۳ | Inconsistent set of formulas |
اندیس: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۰ | Index |
مجموعه نمایه: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۲ | Index sets |
نمایهسازی توابع رایانشپذیر جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۷ | Indexation of partial computable functions |
برهان خلف: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۱ | Indirect proof of validity |
استقرای طولی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۹ | Induction over length of formula |
استقرای طولی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۱ | Induction over length of formula |
قاعده استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۹ | Inference rule |
قاعده استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۴ | Inference rule |
ماشین بیپایان: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۳۰ | Infinite Machine |
حالت آغازی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۶ | Initial state |
ورودی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۹ | Input |
تعبیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۵ | Interpretation |
تعبیر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۷ | Interpretation |
تعبیر و فرامنطق در NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۵ | Interpretation and Metalogic in NdPℓ |
قواعد معرفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۹ | Introduction Rules |
نامعتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۱ | Invalid |
صورت نامعتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۲ | Invalid form |
چرخه تکرار در الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۰ | Iteration in algorithm |
نفی الزامی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۴ | Joint denial |
پایگان (سلسله مراتب) پرشی مجموعهها: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۷ | Jump hierarchy of sets |
پایگان (سلسله مراتب) درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۸ | Jump hierarchy of T-degrees |
پایگان (سلسله مراتب) درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۶ | Jump hierarchy of Turing-degrees |
قضیه کلین-پست: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۹ | Kleene-Post Theorem |
محمول T کلین: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۹ | Kleene's T predicate |
L.E.M: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۷ | L.E.M |
برچسب: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۴ | Label |
حساب لامبدا: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۲ | Lambda calculus |
دستگاه حساب لامبدا: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۶ | Lambda calculus |
حافظه خطی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۰ | Linear memory |
لیترال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۲ | Literal |
مدار منطقی اکثریت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۶ | Logic circuit of majority |
مدارهای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۷ | Logic circuits |
مدار منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۵ | Logic circuits |
گذرگاههای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۶ | Logic gates |
فیزیک گذرگاههای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۱ | Logic gates Physics |
گذرگاههای منطق: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۴ | Logic gates9s0 |
رابطهای منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۸ | Logical connectives |
نتیجه منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۱ | Logical consequence |
ثابتهای منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۹ | Logical Constants |
همارزی منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۶ | Logical Equivalence |
همارز منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۴ | Logical equivalence |
دروازه منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۸ | Logical gate |
استلزام منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۸ | Logical implication |
صدق منطقی: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۹ | Logical Truth |
واژگان منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۱ | Logical Vocabulary |
منطقاً مستلزم: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۰ | Logically implies |
بهطور معنایی سازگار: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۷ | logically_consistent99s1 |
Pℓ: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۶ | LP |
رابط اصلی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۵ | Main connective |
مجموعه کامل (چند-یک): تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۲ | Many-one complete |
کامل تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۶ | Many-one complete |
درجه چند-یک: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۷ | Many-one Degree |
همارز چند-یک: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۵ | Many-one equivalent |
درجه نگاشتی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۹ | Mapping Degree |
پایگان درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۲۰ | Mapping degrees and Turing degrees |
کاهشپذیری نگاشتی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۴ | Mapping Reducibility |
سازگاری بیشینه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۴ | Maximal consistency |
سازگار بیشینه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۳ | Maximally consistent |
توابع بیشینه و کمینه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۶ | Maximum and minimum function |
T-Complete: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۷ | M-Complete |
degt: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۲ | m-deg) |
degm: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۸ | m-deg) |
روند مکانیکی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۴ | Mechanical procedure |
استنتاج عضوی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۶ | Membership deduction |
حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۴ | Memory |
حافظه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۰ | Memory |
کارکرد حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۵ | Memory function |
ساختکار حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۶ | Memory mechanism |
نوار حافظه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۱ | Memory tape |
نوار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۲ | Memory tape |
فرازبان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۸ | Metalanguage |
فرازبان: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۲ | Meta-language |
فرامنطق: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۱ | MetaLogic |
فرامنطق: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۹ | Metalogic |
فراقضیه: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۲ | Metatheorem |
فرا-متغیر: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۴ | Metavariable |
عملگر کمینهساز: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۸ | Minimalization operator |
مدل: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۳ | Model |
مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۶ | Model |
مدل رایانش: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۷ | Model of computation |
مدل: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۵ | Model of wff set |
نظریه بر مبنای مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۴ | Model Theoretic Approach |
نظریه مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۱ | Model Theory |
نظریه مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۳ | Model theory |
نظریه مبتنی بر مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۲ | Model-Theoretic |
معناشناختی مبتنی بر مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۳ | Model-theoretic semantics |
قیاس اقترانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۴ | Modus tollens |
منطق یکنوا: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۳ | Monotonic logic |
یکنوایی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۲ | Monotonicity |
NAND: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۲ | NAND Gate |
استنتاج طبیعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۶ | Natural Deduction |
دستگاه استنتاج طبیعی NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۲ | NdPℓ natural deduction system |
حذف نقیض: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۳ | Negation Elimination |
معرفی نقیض: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۸ | Negation Introduction |
دستگاههای نا-پیوستی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۲ | Non-Adjunctive Systems |
فرمول غیر اتمی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۱ | Non-atomic formula |
الگوریتم غیر-قطعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۱ | Nondeterministic algorithm |
ماشین تورینگ غیر-قطعی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۵ | Nondeterministic Turing machine |
نظریههای ناگسترشی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۴ | Non-extensional theories |
واژگان نامنطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۲ | Non-Logical Vocabulary |
منطق نا یکنوا: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۴ | Non-monotonic logic |
مجموعه نمایه نابدیهی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۳ | Non-trivial index set |
NOR: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۳ | NOR Gate |
قضیه صورت نرمال: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۸ | Normal Form Theorem |
صورتهای نرمال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۱ | Normal forms |
NOT: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۱ | NOT Gate |
مسئلههای NP: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۵ | NP problems |
زبان موضوع: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۳ | Object language |
زبان شاهد: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۰ | Observer's language |
زبان ناظر: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۱ | Observer's language |
کنترل حافظه یک بیتی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۷ | One-bit memory control |
OR: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۰ | OR Gate |
اوراکل: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۱ | Oracle |
𝒪(B): ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۲ | Oracle |
ماشین تورینگ اوراکل: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۳ | Oracle turing machine |
p.r: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۲ | p.r |
منطقهای فراسازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۰ | Paraconsistent logics |
قضیه پارامتر: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۳ | Parameter theorem |
قضیه پارامتر: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۲ | Parameter theorem |
درخت فراکافت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۰ | Parse tree |
رایانشپذیری جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۱ | Partial computability |
تابع رایانشپذیر جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۴ | Partial computable function |
توابع رایانش پذیر جزئی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۲ | Partial computable Functions |
بازگشتی جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۲ | Partial recursive |
تابع بازگشتی جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۳ | Partial recursive function |
نیمی-تصمیمپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۴ | Partially decidable |
فیزیک مدار منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۸ | Physics of logic circuit |
کارآمدی چندجملهای: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۸ | Polynomial Efficiency |
تابع توان: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۴ | Power function |
توان nامین فاکتور اول در تجزیه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۶ | Power of Nth prime factor |
pr.rl: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۸ | Pr.rl |
تابع پیشین: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۰ | Predecessor function |
مقدمه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۹ | Premise |
مقدمات: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۰ | Premises |
مقدمات: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۶ | Premises |
مقدمان استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۸ | Premises of deduction |
nامین عدد اول: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۵ | Primeness function |
تابع اول بودن: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۴ | Primeness function |
رابطهای ابتدایی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۰ | Primitive connective |
قواعد استنتاج آغازین: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۷ | Primitive inference rules |
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۰ | Primitive recursive a priori functions |
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۸ | Primitive recursive a priori functions |
رابطه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۸ | Primitive recursive decidable relations |
مجموعه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۶ | Primitive recursive decidable sets |
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۱ | Primitive recursive function |
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۱ | Primitive recursive function |
رابطه بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۷ | Primitive recursive relations |
قاعده بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۷ | Primitive recursive rule |
مجموعه بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۵ | Primitive recursive sets |
واژگان ابتدایی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۲ | Primitive vocabulary |
واژگان ابتدایی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۷ | Primitive vocabulary |
اصل انفجار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۷ | Principle of explosion |
اصل سرریز: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۸ | Principle of explosion |
مورد پرسش: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۷ | Problem Instance |
روند: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۳ | Process |
برنامه نویسی ماشینهای اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۹ | Programming of register machines |
تابع افکنش: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۳ | Projection function |
برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۷ | Proof |
برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۹ | Proof |
برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۹ | Proof |
نظریه بر مبنای برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۴ | Proof Theoretic Approach |
نظریه برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۵ | Proof theory |
نظریه برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۵ | Proof Theory |
نظریه برهان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۱ | Proof theory |
نتیجه برهانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۲ | Proof-theoretic Consequence |
معناشناختی مبتنی بر نظریه برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۶ | Proof-theoretic semantics |
ویژگیهای الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۹ | Properties_of_algorithm |
اثبات شدنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۵ | Provable |
صورت فصلی سره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۳ | Pure conjunctive form |
صورت عطفی سره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۶ | Pure conjunctive form |
رتبه فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۲ | Rank of formula |
کلاهک خواندن / نوشتن: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۳ | Read / write head |
شناسنده: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۳ | Recognizer |
قضیه بازگشت: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۶ | Recursion Theorem |
تعریف بازگشتی صورت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۴ | Recursive definition of form |
تابع بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۷ | Recursive functions |
پارامترهای بازگشتی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۰ | Recursive parameters |
رابطه بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۸ | Recursive relation |
مجموعه بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۲ | Recursive sets |
مجموعه بازگشتی برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۰ | Recursively Enumerable sets |
رابطه بازگشتی برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۸ | Recursively Enumerable sets |
کاهشپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۲ | Reducibility |
روش کاهش: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۰ | Reduction method |
رجیستر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۱ | Register |
انباره: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۰ | Register |
ماشینهای اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۷ | Register Machine |
ماشینهای اندوختگانی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۳ | Register machine |
پیکربندی ماشین اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۰ | Register machine configuration |
رایانشپذیری نسبی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۱ | Relative computability |
سختی نسبی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۶ | Relative difficulty |
یادآوری نه قاعده استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۷ | Reminder of 9 rules |
قضیه رایس: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۴ | Rice's theorem |
قضیه رایس: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۵ | Rice's theorem |
RM: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۲ | RM |
قاعده برهان شرطی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۳ | Rule of Conditional Proof |
قاعده جایگزینی نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۳ | Rule of syntacticall replacement |
قواعد استنتاج: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۸ | Rules of Inference |
منطقاً سازگار: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۶ | Satisfiable |
صدق پذیر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۵ | Satisfiable |
فرمول شماتیک: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۹ | Schematic formula |
عملگر جستجو: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۴ | Search operator |
قضیه دوم ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۳ | Second Incompleteness theorem |
انتخاب: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۶ | Selection |
نظریههای سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۵ | Semantic theories |
مقدار سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۲ | Semantic Value |
مقدار معنایی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۱ | Semantic Value |
استنتاج معتبر سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۲ | Semantically valid inference |
استنتاج سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۳ | Semantics Inference |
نیمه رساناها: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۹ | Semiconductors |
نیمی-تصمیمپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۲ | Semi-Decidable |
رابط جمله گانی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۰ | Sentential Connective |
توالی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۷ | Sequence |
توالی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۸ | Sequence |
یادگیری دنبالهای: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۹ | Sequence learning |
مدارهای ترتیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۹ | Sequential Circuit |
مدارهای ترتیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۸ | Sequential Circuit |
مجموعه حالتها: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۴ | Set of states |
تابع علامت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۳ | Sign function |
ساده گردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۵ | Simplification |
قضیه s-m-n: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۱ | S-m-n theorem |
نرمافزار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۹ | Software |
استوار: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۴ | Sound |
استواری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۰ | Soundness |
استواری و تمامیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۲ | Soundness and Completness |
فراقضیه استواری: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۳ | Soundness Meta-theorem |
نمادهای ویژه: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۱ | Special symbols |
حالتی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۲ | State |
حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۴ | State |
ایستانه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۵ | State |
حالتها: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۵ | State |
حالت و قاعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۳ | State and transition rule |
ماشین گذار حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۹ | State transition machine |
نمودار حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۸ | States diagram |
برنامه ذخیره شده: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۹ | Stored-program |
استقرای ساختاری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۸ | Structural induction |
زیرفرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۵ | Subformula |
تابع جانشینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۶ | Substitution function |
تابع تالی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۲ | Successor function |
نتیجه نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۳ | Syntactic Consequence |
اشتقاق نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۴ | Syntactic derivation |
قواعد اشتقاق نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۸ | Syntactic derivation rules |
قاعده استنتاج نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۸ | Syntactic inference rule |
دستگاه نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۵ | Syntactic System |
همارزی نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۲ | Syntactical Equivalence |
برهان نحوی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۶ | Syntactical proof |
متغیر نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۵ | Syntactical Variable |
متغیرهای فرازبانی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۳ | Syntactical variables |
استنتاج معتبر نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۵ | Syntactically Valid Inference |
قواعد نگارش صورت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۳ | Syntax of formal language |
نحو زبان صوری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۴ | Syntax of formal language |
نحو زبان: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۴ | Syntax of language |
قواعد نگارش: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۵ | Syntax rules |
قواعد نحوی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۱ | Syntax rules |
دستگاه توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۹ | System of Primitive Recursive Functions |
صورت توتولوژیک: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۸ | Tautological form |
استلزام توتولوژیک: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۵ | Tautological Implication |
توتولوژی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۷ | Tautology |
حالت پایانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۷ | Terminal state |
پایان پذیری الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۲ | Termination of the algorithm |
پرش nام تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۵ | The nth Turing jump |
قضیه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۰ | Theorem |
قضیه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۹ | Theorem |
قضیه: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۴ | Theorem |
قضیه و استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۹ | Theorem and deduction |
نظریههای معنا: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۴ | Theories of Meaning |
تئوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۰ | Theory |
نظریه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۱ | Theory |
دستگاه توابع بازگشتی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۴ | Theory of recursion functions |
نظریه توابع بازگشتی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۱ | Theory of recursive functions |
پیچیدگی زمانی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۹ | Time complexity |
تابع بازگشتی کامل: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۸ | Total Recursive functions |
ترانزیستور: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۰ | Transistor |
تابع گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۶ | Transition function |
قواعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۸ | Transition rule |
قاعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۶ | Transition rule |
قواعد گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۱ | Transition rule |
ترایایی استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۵ | Transitivity of deduction |
تبدیل: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۵ | Transmutation |
ترانهش: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۲ | Transposition |
T-کاهشپذیر: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۵ | T-reducible |
مجموعه نمایه بدیهی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۴ | Trivial index set |
تابع تفریق کوتاه شده: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۱ | Truncated subtraction function |
همارز تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۸ | Turing equivalent |
تابع گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۰ | Turing function |
پرش تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۳ | Turing jump |
نگاشت پرش تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۴ | Turing jump mapping |
ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۷ | Turing machine |
ماشین تورینگ و حل مسئله: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۴ | Turing machine and problem solving |
ساختار ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۸ | Turing machine structure |
جدول گذار ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۷ | Turing machine Transition table |
ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۷ | Turing Machines |
ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۶ | Turing Machines |
ماشینهای تورینگ: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۵ | Turing machines |
دنباله ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۸ | Turing machines sequence |
برنامه تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۹ | Turing program |
کاهش پذیر تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۴ | Turing reducible |
درجه حلناشدنی: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۱ | turng_degree9s1 |
کمینه سازی بیکران: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۴ | Unbounded Minimalization |
عملگر کمینهساز بیکران - μ: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۵ | Unbounded minimization operator |
تابع رایانشناپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۰ | Uncomputable Function |
مسئله تصمیم ناپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۸ | Undecidability Problem |
تصمیم ناپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۵ | Undecidable |
مجموعه تصمیمناپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۵ | Undecidable set |
خوانش یکتای فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۷ | Unique reading of formula |
تابع جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۸ | Universal function |
ماشین جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۲۰ | Universal Machine |
برنامه جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۹ | Universal program |
ماشین اندوختگانی جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۷ | Universal register machine |
UTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۱ | Universal Turing machine |
ماشین تورینگ جهانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۰ | Universal Turing machine |
اثبات نشدنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۶ | Unprovable |
URM: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۳ | URM |
معتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۰ | Valid |
صورت معتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۹ | Valid form |
کامپیوترهای فون نویمانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۸ | Von Neumann computers |
Wff: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۶ | Well-Formed Formula |
فرمول خوش-ساخت: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۷ | Well-Formed Formula |
فرمول خوش-ساخت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۲ | Well-Formed Formula |
فرمول خوش-ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۷ | Well-Formed Formula |
الگوریتمِ تصمیم پذیری فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۸ | Well-formed formula decision algorithm |
wff: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۸ | wff |
Wn: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۲ | Wx |
تابع صفر: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۱ | Zero function |
μ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۷ | Μ |
μRc: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۶ | μRc |
تابع μ-بازگشتی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۵ | Μ-recursive functions |
μ: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۶ | Μue |
Π۱: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۱ | Π۱ |
Π۲: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۳ | Π۲ |
Σ۱: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۸ | Σ۱ |
Σ۲: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۲ | Σ2 |
معادلات بازگشتی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۴ | معادلات بازگشتی |
زبان صوری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۱۰۰۰1 | Formal Language |
فرمول خوش-ساخت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۲۰۰۰2 | Well-Formed Formula |
دستگاه صوری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۳۰۰۰3 | Formal System |
نظریه بر مبنای برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۴۰۰۰4 | Proof Theoretic Approach |
نظریه برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۵۰۰۰5 | Proof Theory |
استنتاج طبیعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۶۰۰۰6 | Natural Deduction |
دستگاه اصل موضوعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۷۰۰۰7 | Axiomatic system |
قواعد استنتاج: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۸۰۰۰8 | Rules of Inference |
برهان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۰۹۰۰۰9 | Proof |
قضیه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۰۰۰10 | Theorem |
ناسازگاری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۱۰۰11 | Inconsistency |
تصمیمپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۲۰۰12 | Decidability |
نظریه مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۳۰۰13 | Model theory |
نظریه بر مبنای مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۴۰۰14 | Model Theoretic Approach |
تعبیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۵۰۰15 | Interpretation |
مدل: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۶۰۰16 | Model |
تناقض: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۷۰۰17 | Contradiction |
فرازبان: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۸۰۰18 | Metalanguage |
فرامنطق: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۱۹۰۰19 | Metalogic |
استواری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۰۰۰20 | Soundness |
تمامیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۱۰۰21 | Completeness |
استواری و تمامیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۲۰۰22 | Soundness and Completness |
روند: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۳۰۰23 | Process |
روند کارآمد: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۴۰۰24 | Efficient procedure |
الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۵۰۰25 | Algorithm |
بطور الگوریتمیک قابل محاسبه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۶۰۰26 | Algorithmically computable |
بطور کارآمد قابل محاسبه: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۷۰۰27 | Algorithmically computable |
محاسبه پذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۸۰۰28 | Algorithmically computable |
ویژگیهای الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۲۹۰۰29 | Properties_of_algorithm |
قطعیت: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۰۰۰30 | Deterministic algorithm |
الگوریتم غیر-قطعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۱۰۰31 | Nondeterministic algorithm |
پایان پذیری الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۲۰۰32 | Termination of the algorithm |
صحت الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۳۰۰33 | Correctness of algorithm |
روند مکانیکی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۴۰۰34 | Mechanical procedure |
کلاس الگوریتمها: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۵۰۰35 | Class of algorithms |
الگوریتم اقلیدس: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۶۰۰36 | Euclid's algorithm |
توالی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۷۰۰37 | Sequence |
توالی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۸۰۰38 | Sequence |
یادگیری دنبالهای: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۳۹۰۰39 | Sequence learning |
چرخه تکرار در الگوریتم: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۰۰۰40 | Iteration in algorithm |
چرخه کراندار: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۱۰۰41 | Bounded loop |
حلقه for: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۲۰۰42 | Bounded loop |
چرخه آزاد: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۳۰۰43 | Free loop |
حلقه while: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۴۰۰44 | Free loop |
رابطه معیار در چرخه تکرار: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۵۰۰45 | Criterion relation in while loop |
انتخاب: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۶۰۰46 | Selection |
مسئله توقف: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۷۰۰47 | Halting problem |
محاسبهپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۸۰۰48 | Computability |
رایانشپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۴۹۰۰49 | Computability |
رایانش: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۰۰۰50 | Computing |
رایانشپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۱۰۰51 | Computable |
محاسبهپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۲۰۰52 | Computable |
ماشینهای اندوختگانی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۳۰۰53 | Register machine |
دستگاه توابع بازگشتی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۴۰۰54 | Theory of recursion functions |
ماشینهای تورینگ: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۵۰۰55 | Turing machines |
دستگاه حساب لامبدا: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۶۰۰56 | Lambda calculus |
مدل رایانش: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۷۰۰57 | Model of computation |
ماشین انتزاعی: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۸۰۰58 | Abstract machine |
تصمیمپذیری: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۵۹۰۰59 | Decidability |
تصمیمپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۰۰۰60 | Decidable |
حدس کولاتز: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۱۰۰61 | Collatz conjecture |
روند آزمون گمانه کولاتز: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۲۰۰62 | Collatz's conjecture test procedure |
حدس گلدباخ: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۳۰۰63 | Goldbach Conjecture |
نیمی-تصمیمپذیر: روندمنطق | ۰۰۱-۰۰۱-۰۰۱/۶۴۰۰64 | Partially decidable |
زبان صوری: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۱۰۰65 | Formal Language |
واژگان ابتدایی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۲۰۰66 | Primitive vocabulary |
قواعد ساخت: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۳۰۰67 | Formation rules |
نحو زبان: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۴۰۰68 | Syntax of language |
دستگاه نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۵۰۰69 | Syntactic System |
دستگاه صوری: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۶۰۰70 | Formal System |
دستگاه استنتاجی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۷۰۰71 | Deductive System |
قواعد اشتقاق نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۸۰۰72 | Syntactic derivation rules |
اتم: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۰۹۰۰73 | Atom |
زبان شاهد: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۰۰۰74 | Observer's language |
زبان ناظر: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۱۰۰75 | Observer's language |
فرازبان: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۲۰۰76 | Meta-language |
زبان موضوع: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۳۰۰77 | Object language |
فرا-متغیر: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۴۰۰78 | Metavariable |
متغیر نحوی: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۵۰۰79 | Syntactical Variable |
Wff: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۶۰۰80 | Well-Formed Formula |
فرمول خوش-ساخت: زبان و فرازبان | ۰۰۱-۰۰۲-۰۰۱/۱۷۰۰81 | Well-Formed Formula |
مقدار معنایی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۱۰۰82 | Semantic Value |
مقدار سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۲۰۰83 | Semantic Value |
نگاره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۳۰۰84 | Concept |
نظریههای معنا: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۴۰۰85 | Theories of Meaning |
نظریههای سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۵۰۰86 | Semantic theories |
نظریههای بنیادی معنا: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۶۰۰87 | Foundational theories of meaning |
تعبیر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۷۰۰88 | Interpretation |
رابطهای منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۸۰۰89 | Logical connectives |
ثابتهای منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۰۹۰۰90 | Logical Constants |
رابط جمله گانی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۰۰۰91 | Sentential Connective |
واژگان منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۱۰۰92 | Logical Vocabulary |
واژگان نامنطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۲۰۰93 | Non-Logical Vocabulary |
مدل: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۳۰۰94 | Model |
مدل مجموعه فرمول: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۴۰۰95 | Formulas set model |
مدل: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۵۰۰96 | Model of wff set |
مدل مجموعه تهی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۶۰۰97 | Empty set model |
توتولوژی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۷۰۰98 | Tautology |
صورت توتولوژیک: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۸۰۰99 | Tautological form |
صورت معتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۱۹۰100 | Valid form |
معتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۰۰101 | Valid |
نامعتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۱۰102 | Invalid |
صورت نامعتبر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۲۰103 | Invalid form |
تناقض: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۳۰104 | Contradiction |
صورت متناقض: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۴۰105 | Contradiction |
صدق پذیر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۵۰106 | Satisfiable |
منطقاً سازگار: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۶۰107 | Satisfiable |
بهطور معنایی سازگار: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۷۰108 | logically_consistent99s1 |
استلزام منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۸۰109 | Logical implication |
⊩: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۲۹۰110 | ⊩ |
منطقاً مستلزم: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۰۰111 | Logically implies |
نتیجه منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۱۰112 | Logical consequence |
استنتاج معتبر سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۲۰113 | Semantically valid inference |
استنتاج سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۳۰114 | Semantics Inference |
همارز منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۴۰115 | Logical equivalence |
استلزام توتولوژیک: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۵۰116 | Tautological Implication |
همارزی منطقی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۶۰117 | Logical Equivalence |
کارآمدی استنتاج سمانتیکی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۷۰118 | Effectiveness of semantical inference |
کارآمدی چندجملهای: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۸۰119 | Polynomial Efficiency |
پیچیدگی زمانی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۳۹۰120 | Time complexity |
الگوریتم کارساز: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۰۰121 | Efficient algorithm |
صورتهای نرمال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۱۰122 | Normal forms |
لیترال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۲۰123 | Literal |
صورت فصلی سره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۳۰124 | Pure conjunctive form |
صورت نرمال عطفی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۴۰125 | Conjunctive Normal Form |
CNF: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۵۰126 | CNF |
صورت عطفی سره: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۶۰127 | Pure conjunctive form |
صورت نرمال فصلی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۷۰128 | Conjunctive Normal Form |
DNF: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۸۰129 | DNF |
همزادی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۴۹۰130 | Duality |
برگردانی به صورت نرمال: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۰۰131 | Conversion to normal form |
تمامیت گویاگر: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۱۰132 | Expressive Completeness |
تمامیت کارکردی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۲۰133 | Functionally Completeness |
↓: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۳۰134 | ↓ |
نفی الزامی: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۴۰135 | Joint denial |
↑: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۵۰136 | ↓ |
نفی اختیاری: صورت و معنی | ۰۰۱-۰۰۳-۰۰۱/۵۶۰137 | Alternative Denial |
عبارت بولی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۱۰138 | Boolean expression |
جبر بول: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۲۰139 | Boolean algebra |
همارزیهای بولی پرکاربرد: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۳۰140 | Commonly used boolean equivalences |
ساده گردانی عبارات بولی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۴۰141 | Booleans expression simplification |
مسئلههای NP: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۵۰142 | NP problems |
گذرگاههای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۶۰143 | Logic gates |
مدارهای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۷۰144 | Logic circuits |
دروازه منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۸۰145 | Logical gate |
AND: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۰۹۰146 | AND Gate |
OR: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۰۰147 | OR Gate |
NOT: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۱۰148 | NOT Gate |
NAND: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۲۰149 | NAND Gate |
NOR: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۳۰150 | NOR Gate |
گذرگاههای منطق: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۴۰151 | Logic gates9s0 |
مدار منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۵۰152 | Logic circuits |
مدار منطقی اکثریت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۶۰153 | Logic circuit of majority |
مدارهای منطقی ترکیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۷۰154 | Combinational logic circuit |
فیزیک مدار منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۸۰155 | Physics of logic circuit |
نیمه رساناها: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۱۹۰156 | Semiconductors |
ترانزیستور: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۰۰157 | Transistor |
فیزیک گذرگاههای منطقی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۱۰158 | Logic gates Physics |
بیت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۲۰159 | Bit |
بایت: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۳۰160 | Byte |
حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۴۰161 | Memory |
کارکرد حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۵۰162 | Memory function |
ساختکار حافظه: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۶۰163 | Memory mechanism |
کنترل حافظه یک بیتی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۷۰164 | One-bit memory control |
مدارهای ترتیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۸۰165 | Sequential Circuit |
مدارهای ترتیبی: جبر بول | ۰۰۱-۰۰۴-۰۰۱/۲۹۰166 | Sequential Circuit |
نظریه مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۱۰167 | Model Theory |
نظریه مبتنی بر مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۲۰168 | Model-Theoretic |
معناشناختی مبتنی بر مدل: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۳۰169 | Model-theoretic semantics |
اشتقاق نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۴۰170 | Syntactic derivation |
نظریه برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۵۰171 | Proof theory |
معناشناختی مبتنی بر نظریه برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۶۰172 | Proof-theoretic semantics |
یادآوری نه قاعده استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۷۰173 | Reminder of 9 rules |
قاعده استنتاج نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۸۰174 | Syntactic inference rule |
قاعده استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۰۹۰175 | Inference rule |
دست آوردنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۰۰176 | Drivable |
نتیجه استنتاجی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۱۰177 | Deductive Consequence |
نتیجه برهانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۲۰178 | Proof-theoretic Consequence |
نتیجه نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۳۰179 | Syntactic Consequence |
⊢: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۴۰180 | ⊢ |
استنتاج معتبر نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۵۰181 | Syntactically Valid Inference |
استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۶۰182 | Deduction |
برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۷۰183 | Proof |
مقدمان استنتاج: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۸۰184 | Premises of deduction |
برهان: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۱۹۰185 | Proof |
ویژگی اینهمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۰۰186 | Identity property |
خاصیت اینهمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۱۰187 | Idntity Property |
همارزی نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۲۰188 | Syntactical Equivalence |
قاعده جایگزینی نحوی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۳۰189 | Rule of syntacticall replacement |
دستگاه صوری ناسازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۴۰190 | Inconsistent formal system |
دستگاه صوری سازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۵۰191 | Consistent formal system |
انفجار استنتاجی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۶۰192 | Deductive explosion |
اصل انفجار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۷۰193 | Principle of explosion |
اصل سرریز: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۸۰194 | Principle of explosion |
Ex Falso Quodlibet: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۲۹۰195 | Ex Falso Quodlibe |
منطقهای فراسازگار: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۰۰196 | Paraconsistent logics |
منطق گفتمانی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۱۰197 | Discussive Logic |
دستگاههای نا-پیوستی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۲۰198 | Non-Adjunctive Systems |
قاعده برهان شرطی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۳۰199 | Rule of Conditional Proof |
قضیه: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۴۰200 | Theorem |
اثبات شدنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۵۰201 | Provable |
اثبات نشدنی: مقدمات برهان | ۰۰۱-۰۰۵-۰۰۱/۳۶۰202 | Unprovable |
فرامنطق: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۱۰203 | MetaLogic |
فراقضیه: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۲۰204 | Metatheorem |
فراقضیه استواری: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۳۰205 | Soundness Meta-theorem |
استوار: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۴۰206 | Sound |
فراقضیه تمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۵۰207 | Completeness Meta-theorem |
تمام: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۶۰208 | Complete |
تمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۷۰209 | Completeness |
تمامیت و استواری: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۸۰210 | Completeness and soundness |
صدق منطقی: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۰۹۰211 | Logical Truth |
توان گویایی: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۰۰212 | Expressive power |
قضیه ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۱۰213 | Incompleteness theorem |
قضیه اول ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۲۰214 | First Incompleteness theorem |
قضیه دوم ناتمامیت: فرامنطق | ۰۰۱-۰۰۶-۰۰۱/۱۳۰215 | Second Incompleteness theorem |
قواعد نحوی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۱۰216 | Syntax rules |
قواعد ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۲۰217 | Construction rules |
قواعد نگارش صورت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۳۰218 | Syntax of formal language |
نحو زبان صوری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۴۰219 | Syntax of formal language |
زبان صوری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۵۰220 | Forma language |
Pℓ: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۶۰221 | LP |
واژگان ابتدایی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۷۰222 | Primitive vocabulary |
اتم: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۸۰223 | Atom |
رابط: فرمول | ۰۰۱-۰۰۷-۰۰۱/۰۹۰224 | Connective |
رابطهای ابتدایی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۰۰225 | Primitive connective |
نمادهای ویژه: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۱۰226 | Special symbols |
ƒPℓ: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۲۰227 | ƑLp |
متغیرهای فرازبانی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۳۰228 | Syntactical variables |
تعریف بازگشتی صورت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۴۰229 | Recursive definition of form |
قواعد نگارش: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۵۰230 | Syntax rules |
دنباله پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۶۰231 | Formation sequence |
فرمول خوش-ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۷۰232 | Well-Formed Formula |
wff: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۸۰233 | wff |
فرمول شماتیک: فرمول | ۰۰۱-۰۰۷-۰۰۱/۱۹۰234 | Schematic formula |
فرمول اتمی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۰۰235 | Atomic Formula |
فرمول غیر اتمی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۱۰236 | Non-atomic formula |
شمارایی مجموعه فرمولها: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۲۰237 | Denumerability of formulas |
شماره گذاری گودل: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۳۰238 | Godel Numbering |
درجه فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۴۰239 | Degree of formula |
زیرفرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۵۰240 | Subformula |
زیرفرمول بیواسطه: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۶۰241 | Immediate subformula |
خوانش یکتای فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۷۰242 | Unique reading of formula |
استقرای ساختاری: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۸۰243 | Structural induction |
استقرای طولی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۲۹۰244 | Induction over length of formula |
طول فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۰۰245 | Formula length |
استقرای طولی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۱۰246 | Induction over length of formula |
رتبه فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۲۰247 | Rank of formula |
⏉: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۳۰248 | ⏉ |
⏊: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۴۰249 | ⏊ |
رابط اصلی فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۵۰250 | Main connective |
سطح الویت رابط: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۶۰251 | Connective priority level |
تصمیم پذیری فرمول خوش-ساخت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۷۰252 | Decidability of well-formed formula |
الگوریتمِ تصمیم پذیری فرمول: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۸۰253 | Well-formed formula decision algorithm |
درخت پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۳۹۰254 | Formation tree |
درخت فراکافت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۰۰255 | Parse tree |
شناسایی درخت فراکافت: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۱۰256 | Identifying the parse tree |
درخت پیکربندی: فرمول | ۰۰۱-۰۰۷-۰۰۱/۴۲۰257 | Formation tree |
نظریه برهان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۱۰258 | Proof theory |
دستگاه استنتاج طبیعی NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۲۰259 | NdPℓ natural deduction system |
دستگاه استنتاجی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۳۰260 | Deductive system |
قاعده استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۴۰261 | Inference rule |
نتیجه مستقیم: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۵۰262 | Direct conclusion |
مقدمات: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۶۰263 | Premises |
قواعد استنتاج آغازین: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۷۰264 | Primitive inference rules |
قواعد حذفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۸۰265 | Elimination Rules |
قواعد معرفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۰۹۰266 | Introduction Rules |
حذف شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۰۰267 | Conditional Elimination |
حذف عطفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۱۰268 | Conjunction Elimination |
حذف فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۲۰269 | Disjunction Elimination |
حذف نقیض: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۳۰270 | Negation Elimination |
حذف نقض دوگانه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۴۰271 | Double Negation Elimination |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۵۰272 | Conditional Introduction |
معرفی عطفی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۶۰273 | Conjunction Introduction9s1 |
معرفی فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۷۰274 | Disjunction Introduction |
معرفی نقیض: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۸۰275 | Negation Introduction |
⊃E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۱۹۰276 | ⊃E |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۰۰277 | Conditional Introduction |
⊃i: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۱۰278 | ⊃I |
∧E۱: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۲۰279 | ∧E۱ |
∧I: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۳۰280 | ∧I |
∧E۲: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۴۰281 | ∧E۱ |
∨I۱: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۵۰282 | ∨I۱ |
∨E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۶۰283 | ∨E |
∨I۲: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۷۰284 | ∨I۲ |
~E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۸۰285 | ~E |
~I: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۲۹۰286 | ~I |
~~E: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۰۰287 | ~~E |
استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۱۰288 | Deduction |
نتیجه صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۲۰289 | Formal conclusion |
نتیجه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۳۰290 | conclusion |
دست-آوردنی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۴۰291 | Drivable |
برهان صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۵۰292 | Formal proof |
برهان نحوی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۶۰293 | Syntactical proof |
⊢: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۷۰294 | ⊢ |
استنتاج صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۸۰295 | Formal Deduction |
مقدمه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۳۹۰296 | Premise |
مقدمات: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۰۰297 | Premises |
نتیجه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۱۰298 | Conclusion |
یکنوایی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۲۰299 | Monotonicity |
منطق یکنوا: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۳۰300 | Monotonic logic |
منطق نا یکنوا: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۴۰301 | Non-monotonic logic |
ترایایی استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۵۰302 | Transitivity of deduction |
استنتاج عضوی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۶۰303 | Membership deduction |
اینهمانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۷۰304 | Identity |
مقابله: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۸۰305 | Collation |
قضیه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۴۹۰306 | Theorem |
قاعده دست-آوردنی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۰۰307 | Derivable rule |
معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۱۰308 | Conditional Introduction |
قضیه اینهمانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۲۰309 | Identity theorem |
واگردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۳۰310 | Exportation theorem |
قیاس شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۴۰311 | Hypothetical Syllogism |
ساده گردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۵۰312 | Simplification |
تعمیم معرفی شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۶۰313 | Conditional introduction generalization |
I.C.G: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۷۰314 | I.C.G |
فراقضیه استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۸۰315 | Deduction theorem |
قضیه و استنتاج: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۵۹۰316 | Theorem and deduction |
قضیه برگردان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۰۰317 | Importation theorem |
نفی دوگانه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۱۰318 | Duble negation |
ترانهش: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۲۰319 | Transposition |
قضیه دمورگان: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۳۰320 | Demorgan theorems |
قیاس اقترانی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۴۰321 | Modus tollens |
تبدیل: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۵۰322 | Transmutation |
قضیه دوگانگی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۶۰323 | Dichotomy theorem |
L.E.M: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۷۰324 | L.E.M |
تفکیک شرطی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۸۰325 | Conditional resolution |
قیاس فصلی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۶۹۰326 | Disjunctive syllogism |
پخش پذیری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۰۰327 | Distributive law |
برهان خلف: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۱۰328 | Indirect proof of validity |
مجموعه سازگار فرمول: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۲۰329 | Consistent set of formulas |
مجموعه ناسازگار فرمول: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۳۰330 | Inconsistent set of formulas |
دستگاه استنتاجی سازگار: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۴۰331 | Consistent deductive system |
مطلقاً سازگار: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۵۰332 | Absolutely consistent |
نتیجه مهم سازگاری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۶۰333 | Important consequence of consistency |
تحت '⊢' بسته: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۷۰334 | Closed under ⊢ |
به گونه استنتاجی بسته: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۸۰335 | Deductively closed |
تئوری صوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۷۹۰336 | Formal theory |
تئوری: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۰۰337 | Theory |
نظریه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۱۰338 | Theory |
قضیه فشردگی: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۲۰339 | Compactness Theorem |
سازگار بیشینه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۳۰340 | Maximally consistent |
سازگاری بیشینه: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۴۰341 | Maximal consistency |
تعبیر و فرامنطق در NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۵۰342 | Interpretation and Metalogic in NdPℓ |
سازگاری دستگاه NdPℓ: نظریه برهان(۱) | ۰۰۱-۰۰۸-۰۰۱/۸۶۰343 | Consistency of end system |
نظریه توابع بازگشتی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۱۰344 | Theory of recursive functions |
حساب لامبدا: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۲۰345 | Lambda calculus |
نظریههای گسترشی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۳۰346 | Extensional theories |
نظریههای ناگسترشی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۴۰347 | Non-extensional theories |
زبانهای تابعی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۵۰348 | Functional programming |
ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۶۰349 | Turing Machines |
ماشینهای اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۷۰350 | Register Machine |
سختافزار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۸۰351 | Hardware |
نرمافزار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۰۹۰352 | Software |
انباره: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۰۰353 | Register |
رجیستر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۱۰354 | Register |
RM: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۲۰355 | RM |
URM: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۳۰356 | URM |
برچسب: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۴۰357 | Label |
بدنه: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۵۰358 | Body |
توقف بد: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۶۰359 | Bad halting |
توقف خوب: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۷۰360 | Good halting |
نمایش شماتیک ماشینهای اندوختگاهی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۸۰361 | Graphical registers machines representation |
برنامه نویسی ماشینهای اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۱۹۰362 | Programming of register machines |
پیکربندی ماشین اندوختگانی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۰۰363 | Register machine configuration |
قطعی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۱۰364 | Deterministic |
توابع رایانش پذیر جزئی: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۲۰365 | Partial computable Functions |
رایانش: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۳۰366 | Computing |
رایانشپذیر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۴۰367 | Computable |
تابع رایانشپذیر: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۵۰368 | Computable function |
شمارگذاری گودل: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۶۰369 | Godel numbering in RG |
ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۷۰370 | Turing Machines |
دنباله ماشینهای تورینگ: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۸۰371 | Turing machines sequence |
ماشین پایان دار: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۲۹۰372 | Finite Machine |
ماشین بیپایان: ماشین اندوختگانی | ۰۰۹-۰۰۱-۰۰۱/۳۰۰373 | Infinite Machine |
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۱۰374 | Primitive recursive function |
خوارزمی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۲۰375 | Al-Khwarizmi |
دیوید هیلبرت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۳۰376 | David Hilbert |
مسئله دهم هیلبرت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۴۰377 | Hilbert's tenth Problem |
مسئله تصمیمپذیری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۵۰378 | Entscheidungsproblem |
تز چرج-تورینگ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۶۰379 | Church–Turing thesis |
تز چرچ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۷۰380 | Church’s Thesis |
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۸۰381 | Primitive recursive a priori functions |
دستگاه توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۰۹۰382 | System of Primitive Recursive Functions |
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۰۰383 | Primitive recursive a priori functions |
تابع صفر: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۱۰384 | Zero function |
تابع تالی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۲۰385 | Successor function |
تابع افکنش: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۳۰386 | Projection function |
قاعده ترکیب: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۴۰387 | Composition rule |
cmp.rl: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۵۰388 | cmp.rl |
تابع جانشینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۶۰389 | Substitution function |
قاعده بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۷۰390 | Primitive recursive rule |
pr.rl: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۸۰391 | Pr.rl |
بگونه بازگشتی نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۱۹۰392 | By Primitive recursion |
پارامترهای بازگشتی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۰۰393 | Recursive parameters |
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۱۰394 | Primitive recursive function |
p.r: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۲۰395 | p.r |
کلاس توابع p.r: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۳۰396 | Class of p.r functions |
معادلات بازگشتی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۴۰397 | معادلات بازگشتی |
مجموعه بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۵۰398 | Primitive recursive sets |
مجموعه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۶۰399 | Primitive recursive decidable sets |
رابطه بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۷۰400 | Primitive recursive relations |
رابطه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۸۰401 | Primitive recursive decidable relations |
تابع کاهش: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۲۹۰402 | Decrease function |
تابع پیشین: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۰۰403 | Predecessor function |
تابع تفریق کوتاه شده: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۱۰404 | Truncated subtraction function |
تابع قدر مطلق: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۲۰405 | Absolute value function |
تابع علامت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۳۰406 | Sign function |
تابع توان: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۴۰407 | Power function |
تابع فاکتوریل: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۵۰408 | Factorial function |
توابع بیشینه و کمینه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۶۰409 | Maximum and minimum function |
جمع کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۷۰410 | Bounded sum |
ضرب کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۸۰411 | Bounded products |
شمارش مقسوم علیه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۳۹۰412 | Counting divisor |
چرخه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۰۰413 | Function iteration |
تابع ثابت: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۱۰414 | Constant function |
تعریف و استدلال مبتنی بر مورد: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۲۰415 | Case-based definition and reasoning |
تابع تعداد مقسوم علیهها: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۳۰416 | Divisor counting function |
تابع اول بودن: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۴۰417 | Primeness function |
کمینه ساز کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۵۰418 | Bounded Minimalization |
B.Min: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۶۰419 | B.Min |
μ: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۷۰420 | Μ |
عملگر کمینهساز: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۸۰421 | Minimalization operator |
حاصل جمع ضرب کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۴۹۰422 | Bounded total of multiplication |
سور کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۰۰423 | Bounded quantification |
سور عمومی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۱۰424 | Bounded quantification |
سور وجودی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۲۰425 | Bounded quantification |
جستجوی کراندار: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۳۰426 | Bounded Search |
عملگر جستجو: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۴۰427 | Search operator |
nامین عدد اول: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۵۰428 | Primeness function |
توان nامین فاکتور اول در تجزیه: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۶۰429 | Power of Nth prime factor |
دنبالههای کد گذاری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۷۰430 | Coding sequences |
شمارگذاری گودل: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۸۰431 | Gödel Numbering |
رایانشپذیری و توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۵۹۰432 | Computability and primitive recursive functions |
روش قطری: توابع بازگشتی نخستینی | ۰۰۹-۰۰۲-۰۰۱/۶۰۰433 | Diagonalization method |
تابع آکرمان: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۱۰434 | Ackermann function) |
برخی ویژگیهای تابع آکرمان: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۲۰435 | Ackermann function properties |
تابع آکرمان یک تابع نخستینی-بازگشت نیست.: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۳۰436 | Ackermann function not pr |
کمینه سازی بیکران: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۴۰437 | Unbounded Minimalization |
عملگر کمینهساز بیکران - μ: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۵۰438 | Unbounded minimization operator |
μ: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۶۰439 | Μue |
تابع بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۷۰440 | Recursive functions |
تابع بازگشتی کامل: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۸۰441 | Total Recursive functions |
تابع رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۰۹۰442 | Computable function |
تابع رایانشناپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۰۰443 | Uncomputable Function |
سور کراندار: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۱۰444 | Bounded quantifier closure |
مجموعه بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۲۰445 | Recursive sets |
مجموعه تصمیمپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۳۰446 | Decidable sets |
مجموعه رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۴۰447 | Computable sets |
مجموعه تصمیمناپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۵۰448 | Undecidable set |
مسئله تصمیم گیری: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۶۰449 | Decision problem |
مورد پرسش: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۷۰450 | Problem Instance |
رابطه بازگشتی: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۸۰451 | Recursive relation |
رابطه تصمیمپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۱۹۰452 | Decidable relations |
رابطه رایانشپذیر: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۲۰۰453 | Computable relations |
جبر تصمیمپذیری: توابع بازگشتی | ۰۰۹-۰۰۳-۰۰۱/۲۱۰454 | Algebra of computability |
رایانشپذیری جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۱۰455 | Partial computability |
بازگشتی جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۲۰456 | Partial recursive |
تابع بازگشتی جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۳۰457 | Partial recursive function |
تابع رایانشپذیر جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۴۰458 | Partial computable function |
تابع μ-بازگشتی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۵۰459 | Μ-recursive functions |
μRc: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۶۰460 | μRc |
نمایهسازی توابع رایانشپذیر جزئی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۷۰461 | Indexation of partial computable functions |
قضیه صورت نرمال: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۸۰462 | Normal Form Theorem |
محمول T کلین: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۰۹۰463 | Kleene's T predicate |
اندیس: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۰۰464 | Index |
قضیه برشمارش: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۱۰465 | Enumeration theorem |
مجموعه نمایه: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۲۰466 | Index sets |
مجموعه نمایه نابدیهی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۳۰467 | Non-trivial index set |
مجموعه نمایه بدیهی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۴۰468 | Trivial index set |
تابع قطری: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۵۰469 | Diagonal function |
روش قطری در اثبات وجود تابع کامل رایانشناپذیر: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۶۰470 | Diagonalization method in computation |
ماشین اندوختگانی جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۷۰471 | Universal register machine |
تابع جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۸۰472 | Universal function |
برنامه جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۱۹۰473 | Universal program |
ماشین جهانی: بازگشتی جزئی | ۰۰۹-۰۰۴-۰۰۱/۲۰۰474 | Universal Machine |
تصمیمپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۱۰475 | Decidable |
نیمی-تصمیمپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۲۰476 | Semi-Decidable |
شناسنده: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۳۰477 | Recognizer |
پذیرنده: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۴۰478 | Acceptor |
تصمیم ناپذیر: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۵۰479 | Undecidable |
≃: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۶۰480 | ≃ |
رابطه رایانشپذیر برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۷۰481 | Computably Enumerable Relations |
رابطه بازگشتی برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۸۰482 | Recursively Enumerable sets |
مجموعه رایانشپذیر برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۰۹۰483 | Computably Enumerable sets |
مجموعه بازگشتی برشمردنی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۰۰484 | Recursively Enumerable sets |
c.e: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۱۰485 | c.e. |
Wn: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۲۰486 | Wx |
قضیه متمم: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۳۰487 | Complementation Theorem |
K⚬: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۴۰488 | Halting set |
مجموعه توقف: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۵۰489 | Halting set |
مسئله توقف: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۶۰490 | Halting Problem |
مسئله تصمیمپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۷۰491 | Decidable Problem |
مسئله تصمیم ناپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۸۰492 | Undecidability Problem |
K: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۱۹۰493 | Diagonal halting set |
مجموعه توقف قطری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۰۰494 | Diagonal halting set |
رایانشپذیری نسبی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۱۰495 | Relative computability |
کاهشپذیری: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۲۰496 | Reducibility |
≤m: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۳۰497 | ≤m |
کاهشپذیری نگاشتی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۴۰498 | Mapping Reducibility |
همارز چند-یک: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۵۰499 | Many-one equivalent |
≡m: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۶۰500 | ≡m |
درجه چند-یک: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۷۰501 | Many-one Degree |
degm: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۸۰502 | m-deg) |
درجه نگاشتی: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۲۹۰503 | Mapping Degree |
روش کاهش: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۰۰504 | Reduction method |
کار روش کاهش: تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۱۰505 | Applying the reduction method |
مجموعه کامل (چند-یک): تصمیمپذیری و روش کاهش | ۰۰۹-۰۰۵-۰۰۱/۳۲۰506 | Many-one complete |
قضیه s-m-n: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۱۰507 | S-m-n theorem |
قضیه پارامتر: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۲۰508 | Parameter theorem |
قضیه پارامتر: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۳۰509 | Parameter theorem |
قضیه رایس: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۴۰510 | Rice's theorem |
قضیه رایس: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۵۰511 | Rice's theorem |
سختی نسبی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۶۰512 | Relative difficulty |
سلسله مراتب (پایگان) حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۷۰513 | Arithmetical Hierarchy |
Σ۱: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۸۰514 | Σ۱ |
مجموعه نمایه متمم: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۰۹۰515 | Complement index set |
Co-c.e: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۰۰516 | Co-c.e |
Π۱: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۱۰517 | Π۱ |
Σ۲: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۲۰518 | Σ2 |
Π۲: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۳۰519 | Π۲ |
کلاس حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۴۰520 | Arithmetical class |
مجموعه حسابی: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۵۰521 | Arithmetical set |
قضیه بازگشت: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۶۰522 | Recursion Theorem |
مقدار نقطه برجا: قضیههای رایس و بازگشت | ۰۰۹-۰۰۶-۰۰۱/۱۷۰523 | Fixed-point value |
اوراکل: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۱۰524 | Oracle |
𝒪(B): ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۲۰525 | Oracle |
ماشین تورینگ اوراکل: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۳۰526 | Oracle turing machine |
کاهش پذیر تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۴۰527 | Turing reducible |
T-کاهشپذیر: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۵۰528 | T-reducible |
کامل تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۶۰529 | Many-one complete |
T-Complete: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۷۰530 | M-Complete |
همارز تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۸۰531 | Turing equivalent |
≡t: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۰۹۰532 | ≡t |
درجه تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۰۰533 | Degree (many-one) |
درجه حلناشدنی: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۱۰534 | turng_degree9s1 |
degt: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۲۰535 | m-deg) |
پرش تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۳۰536 | Turing jump |
نگاشت پرش تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۴۰537 | Turing jump mapping |
پرش nام تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۵۰538 | The nth Turing jump |
پایگان (سلسله مراتب) درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۶۰539 | Jump hierarchy of Turing-degrees |
پایگان (سلسله مراتب) پرشی مجموعهها: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۷۰540 | Jump hierarchy of sets |
پایگان (سلسله مراتب) درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۸۰541 | Jump hierarchy of T-degrees |
قضیه کلین-پست: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۱۹۰542 | Kleene-Post Theorem |
پایگان درجههای تورینگ: ماشین اوراکل | ۰۰۹-۰۰۷-۰۰۱/۲۰۰543 | Mapping degrees and Turing degrees |
قواعد گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۱۰544 | Transition rule |
حالتی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۲۰545 | State |
حالت و قاعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۳۰546 | State and transition rule |
حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۴۰547 | State |
ایستانه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۵۰548 | State |
قاعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۶۰549 | Transition rule |
ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۷۰550 | Turing machine |
ساختار ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۸۰551 | Turing machine structure |
ورودی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۰۹۰552 | Input |
حافظه خطی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۰۰553 | Linear memory |
نوار حافظه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۱۰554 | Memory tape |
نوار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۲۰555 | Memory tape |
کلاهک خواندن / نوشتن: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۳۰556 | Read / write head |
مجموعه حالتها: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۴۰557 | Set of states |
حالتها: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۵۰558 | State |
حالت آغازی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۶۰559 | Initial state |
حالت پایانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۷۰560 | Terminal state |
قواعده گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۸۰561 | Transition rule |
برنامه تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۱۹۰562 | Turing program |
تابع گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۰۰563 | Turing function |
چرخه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۱۰564 | Cycle |
واحد کنترل: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۲۰565 | Control unit |
روش نموداری نمایش ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۳۰566 | Diagrammatic method of Turing machine representation |
ماشین تورینگ و حل مسئله: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۴۰567 | Turing machine and problem solving |
مسئله توقف: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۵۰568 | Halting problem |
تابع گذار: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۶۰569 | Transition function |
جدول گذار ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۷۰570 | Turing machine Transition table |
نمودار حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۸۰571 | States diagram |
ماشین گذار حالت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۲۹۰572 | State transition machine |
ماشین تورینگ جهانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۰۰573 | Universal Turing machine |
UTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۱۰574 | Universal Turing machine |
ماشین تورینگ قطعی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۲۰575 | Deterministic Turing machine |
DTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۳۰576 | DTM |
قطعیت: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۴۰577 | Determinism |
ماشین تورینگ غیر-قطعی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۵۰578 | Nondeterministic Turing machine |
NTM: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۶۰579 | DTM |
همارزی↝ دو ماشین تورینگ: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۷۰580 | Decidability two Turing Machines |
کامپیوترهای فون نویمانی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۸۰581 | Von Neumann computers |
برنامه ذخیره شده: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۳۹۰582 | Stored-program |
حافظه: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۰۰583 | Memory |
واحد مرکزی پردازش: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۱۰584 | Central processing unit |
CPU: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۲۰585 | Arithmetic logic unit |
واحد منطق حسابی: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۳۰586 | Arithmetic logic unit |
ALU: ماشین تورینگ | ۰۰۹-۰۰۸-۰۰۱/۴۴۰587 | Arithmetic logic unit |